諏訪 敬之
諏訪 敬之
（すわ たかし）は未踏クリエータ。
https://gyazo.com/e340f2e4fb5bfa881dc6abdbf1b3858a
（
画像出典
）
未踏事業採択
2017年未踏
テーマ:
型による静的検証能力の高い組版システムの開発
PM:
竹迫 良範
同採択において
スーパークリエータ
に認定
経歴
以下、明記なければ
ref
より転載。
1993年、兵庫県生まれ
東京大学 教養学部
理科一類
2012年 入学
東京大学 工学部 計数工学科
数理情報工学コース
2014年 進学～2016年 卒業
東京大学大学院 情報理工学系研究科
コンピュータ科学専攻 修士課程
2016年 入学～2018年5月時点 同課程2年
プロダクト
マークアップ言語「
SATySFi: A statically-typed, functional typesetting system
」 2017年6月～2020年1月現在
外部リンク
gfngfn (T. Suwa) · GitHub
諏訪 敬之 | LinkedIn
諏訪 敬之 | Facebook
Takashi SUWA（諏訪 敬之）
#2017年未踏
#スーパークリエータ